Agile
and
Efficient
Domain‐Specific
Languages
 using
Multi‐stage
Programming
in
Java
Mint
 Edwin
Westbrook,
Mathias
Ricken,
 and
Walid
Taha
 Domain‐Specific
Languages


Source URL: www.cs.rice.edu

Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint Edwin Westbrook, Mathias Ricken, and Walid Taha

Source URL: www.cs.rice.edu

Richard Hirsch MAPS 35 Folding Sheets for a Modular Origami Dodecalendar

Source URL: www.ntg.nl

• Computing
• Computer programming
• Programming language theory
• Caieiras
• Vilnius district municipality
• MetaPost
• PostScript
• Public domain software

Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal Nicolas Palix Charles Consel INRIA / LaBRI, Talence, France

Source URL: www.diku.dk

• Component-based software engineering
• Inter-process communication
• Object-oriented programming
• CORBA
• Common Object Request Broker Architecture
• Bluetooth
• Service-oriented architecture
• Operating system
• Event
• Computing
• Software engineering
• Technology

Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu | schaetz}@fortiss.org † indep

Source URL: mbeddr.com

• Theoretical computer science
• Model checkers
• Logic in computer science
• NuSMV
• Model checking
• Formal verification
• Domain-specific language
• Programming language
• Feature model
• Formal methods
• Software
• Mathematics

Parallel  Programming  with  MPI   Lars  Koesterke   :  HPC  Workshop  at  ASU   :  HPC  Workshop  at  CSU    

Source URL: hpcuniversity.org

• Computer programming
• Application programming interfaces
• Numerical linear algebra
• Free software
• MPICH
• Public domain software
• Message Passing Interface
• Portable
• Extensible Toolkit for Scientific Computation
• Computer cluster
• Computing
• Software
• Parallel computing

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Source URL: infolab.stanford.edu

• Logic in computer science
• Logic programming
• Automated planning and scheduling
• Formal methods
• Conjunctive normal form
• Situation calculus
• Planning Domain Definition Language
• Algorithm
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Applied mathematics

Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´

Source URL: www.db.informatik.uni-bremen.de

• ISO standards
• Data management
• Object-oriented programming
• Data types
• Type theory
• Object Constraint Language
• ECO
• EXPRESS
• Domain-specific language
• Software engineering
• Computing
• Unified Modeling Language

Third Edit ion THE ICON PROGRAMMING LANGUAGE

Source URL: www.cs.arizona.edu

• Procedural programming languages
• Data types
• Icon
• Public domain software
• C
• Ralph Griswold
• Pattern matching
• String
• ALGOL 68
• Software engineering
• Computing
• Computer programming

Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance Heather Miller EPFL, Switzerland

Source URL: lampwww.epfl.ch

• Functional languages
• Java platform
• Scala
• Martin Odersky
• ML
• Software framework
• Domain-specific language
• Functional programming
• Static single assignment form
• Computing
• Software engineering
• Computer programming